$\forall$$A$, $B$:$\mathbb{P}$. Dec($A$) $\Rightarrow$ (($\neg$($A$ \& $B$)) $\Leftarrow\!\Rightarrow$ (($\neg$$A$) $\vee$ ($\neg$$B$)))